Compactness Theorem for Some Generalized Second-Order Language
نویسندگان
چکیده
منابع مشابه
Compactness Theorem for Some Generalized Second-Order Language
For the first-order language the compactness theorem was proved by K. Gödel and A. I. Mal’cev in 1936. In 1955, it was proved by J. Łoś (1955) by means of the method of ultraproducts. Unfortunately, for the usual second-order language the compactness theorem does not hold. Moreover, the method of ultraproducts is also inapplicable to second-order models. A possible way out of this situation is ...
متن کاملOrder-type existence theorem for second order nonlocal problems at resonance
This paper gives an abstract order-type existence theorem for second order nonlocal boundary value problems at resonance and obtain existence criteria for at least two positive solutions, where $f$ is a continuous function. Our results generalize or extend related results in the literature and give a positive answer to the question raised in the literature. An example is given to illustr...
متن کاملA Representation Theorem for Second-Order Functionals
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a datatypegeneric representation theorem. More precisely, we prove a representation theorem for a wide class of second-order functionals which are polymorphic over a class of functors. Types polymorphic over a class o...
متن کاملGENERALIZED PRINCIPAL IDEAL THEOREM FOR MODULES
The Generalized Principal Ideal Theorem is one of the cornerstones of dimension theory for Noetherian rings. For an R-module M, we identify certain submodules of M that play a role analogous to that of prime ideals in the ring R. Using this definition, we extend the Generalized Principal Ideal Theorem to modules.
متن کاملGeneralized H-differentiability for solving second order linear fuzzy differential equations
In this paper, a new approach for solving the second order fuzzy differential equations (FDE) with fuzzy initial value, under strongly generalized H-differentiability is presented. Solving first order fuzzy differential equations by extending 1-cut solution of the original problem and solving fuzzy integro-differential equations has been investigated by some authors (see for example cite{darabi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematics Research
سال: 2014
ISSN: 1916-9809,1916-9795
DOI: 10.5539/jmr.v6n3p21